(declare-fun uf6 (Bool Bool Bool Bool Bool Bool) Bool)
(declare-fun uf7 (Bool Bool Bool Bool Bool Bool Bool) Bool)
(assert (uf7 true true true true true true true))
(push)
(assert (uf6 true true true true (uf7 true true true true true true true) true))
(check-sat)
